void panic(char *s);